Optimal. Leaf size=84 \[ \frac {b^3 \left (a+b x^2\right )^7}{1680 a^4 x^{14}}-\frac {b^2 \left (a+b x^2\right )^7}{240 a^3 x^{16}}+\frac {b \left (a+b x^2\right )^7}{60 a^2 x^{18}}-\frac {\left (a+b x^2\right )^7}{20 a x^{20}} \]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 84, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {28, 266, 45, 37} \begin {gather*} \frac {b^3 \left (a+b x^2\right )^7}{1680 a^4 x^{14}}-\frac {b^2 \left (a+b x^2\right )^7}{240 a^3 x^{16}}+\frac {b \left (a+b x^2\right )^7}{60 a^2 x^{18}}-\frac {\left (a+b x^2\right )^7}{20 a x^{20}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 28
Rule 37
Rule 45
Rule 266
Rubi steps
\begin {align*} \int \frac {\left (a^2+2 a b x^2+b^2 x^4\right )^3}{x^{21}} \, dx &=\frac {\int \frac {\left (a b+b^2 x^2\right )^6}{x^{21}} \, dx}{b^6}\\ &=\frac {\operatorname {Subst}\left (\int \frac {\left (a b+b^2 x\right )^6}{x^{11}} \, dx,x,x^2\right )}{2 b^6}\\ &=-\frac {\left (a+b x^2\right )^7}{20 a x^{20}}-\frac {3 \operatorname {Subst}\left (\int \frac {\left (a b+b^2 x\right )^6}{x^{10}} \, dx,x,x^2\right )}{20 a b^5}\\ &=-\frac {\left (a+b x^2\right )^7}{20 a x^{20}}+\frac {b \left (a+b x^2\right )^7}{60 a^2 x^{18}}+\frac {\operatorname {Subst}\left (\int \frac {\left (a b+b^2 x\right )^6}{x^9} \, dx,x,x^2\right )}{30 a^2 b^4}\\ &=-\frac {\left (a+b x^2\right )^7}{20 a x^{20}}+\frac {b \left (a+b x^2\right )^7}{60 a^2 x^{18}}-\frac {b^2 \left (a+b x^2\right )^7}{240 a^3 x^{16}}-\frac {\operatorname {Subst}\left (\int \frac {\left (a b+b^2 x\right )^6}{x^8} \, dx,x,x^2\right )}{240 a^3 b^3}\\ &=-\frac {\left (a+b x^2\right )^7}{20 a x^{20}}+\frac {b \left (a+b x^2\right )^7}{60 a^2 x^{18}}-\frac {b^2 \left (a+b x^2\right )^7}{240 a^3 x^{16}}+\frac {b^3 \left (a+b x^2\right )^7}{1680 a^4 x^{14}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 82, normalized size = 0.98 \begin {gather*} -\frac {a^6}{20 x^{20}}-\frac {a^5 b}{3 x^{18}}-\frac {15 a^4 b^2}{16 x^{16}}-\frac {10 a^3 b^3}{7 x^{14}}-\frac {5 a^2 b^4}{4 x^{12}}-\frac {3 a b^5}{5 x^{10}}-\frac {b^6}{8 x^8} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a^2+2 a b x^2+b^2 x^4\right )^3}{x^{21}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.83, size = 70, normalized size = 0.83 \begin {gather*} -\frac {210 \, b^{6} x^{12} + 1008 \, a b^{5} x^{10} + 2100 \, a^{2} b^{4} x^{8} + 2400 \, a^{3} b^{3} x^{6} + 1575 \, a^{4} b^{2} x^{4} + 560 \, a^{5} b x^{2} + 84 \, a^{6}}{1680 \, x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.15, size = 70, normalized size = 0.83 \begin {gather*} -\frac {210 \, b^{6} x^{12} + 1008 \, a b^{5} x^{10} + 2100 \, a^{2} b^{4} x^{8} + 2400 \, a^{3} b^{3} x^{6} + 1575 \, a^{4} b^{2} x^{4} + 560 \, a^{5} b x^{2} + 84 \, a^{6}}{1680 \, x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 69, normalized size = 0.82 \begin {gather*} -\frac {b^{6}}{8 x^{8}}-\frac {3 a \,b^{5}}{5 x^{10}}-\frac {5 a^{2} b^{4}}{4 x^{12}}-\frac {10 a^{3} b^{3}}{7 x^{14}}-\frac {15 a^{4} b^{2}}{16 x^{16}}-\frac {a^{5} b}{3 x^{18}}-\frac {a^{6}}{20 x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.42, size = 70, normalized size = 0.83 \begin {gather*} -\frac {210 \, b^{6} x^{12} + 1008 \, a b^{5} x^{10} + 2100 \, a^{2} b^{4} x^{8} + 2400 \, a^{3} b^{3} x^{6} + 1575 \, a^{4} b^{2} x^{4} + 560 \, a^{5} b x^{2} + 84 \, a^{6}}{1680 \, x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.05, size = 70, normalized size = 0.83 \begin {gather*} -\frac {\frac {a^6}{20}+\frac {a^5\,b\,x^2}{3}+\frac {15\,a^4\,b^2\,x^4}{16}+\frac {10\,a^3\,b^3\,x^6}{7}+\frac {5\,a^2\,b^4\,x^8}{4}+\frac {3\,a\,b^5\,x^{10}}{5}+\frac {b^6\,x^{12}}{8}}{x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.86, size = 75, normalized size = 0.89 \begin {gather*} \frac {- 84 a^{6} - 560 a^{5} b x^{2} - 1575 a^{4} b^{2} x^{4} - 2400 a^{3} b^{3} x^{6} - 2100 a^{2} b^{4} x^{8} - 1008 a b^{5} x^{10} - 210 b^{6} x^{12}}{1680 x^{20}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________